∀x∈X∀N(2^N∩N(x)≠∅⇒N∈N(x))